In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
431	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science
432	unleash the power of XJTAG Add to Reading List Source URL: www.xjtag.com Language: English - Date: 2007-07-12 12:07:45 Electronics Joint Test Action Group Boundary scan Printed circuit board In-system programming Automated X-ray inspection Field-programmable gate array Functional testing Digital electronics Electronics manufacturing Manufacturing Electronic engineering
433	Under consideration for publication in J. Functional Programming 1 Finally Tagless, Partially Evaluated Tagless Staged Interpreters for Simpler Typed Languages Add to Reading List Source URL: okmij.org Language: English - Date: 2011-07-01 22:41:16 Type theory Data types Functional languages Functional programming Procedural programming languages Generalized algebraic data type Type system OCaml Type inference Software engineering Programming language theory Computing
434	The λΠ-calculus Modulo as a Universal Proof Language Mathieu Boespflug1 , Quentin Carbonneaux2 and Olivier Hermant3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-25 10:49:31 Mathematics Lambda calculus Dependently typed programming Logic in computer science Proof theory Natural deduction Curry–Howard correspondence Calculus of constructions Type system Type theory Programming language theory Theoretical computer science
435	www.xjtag.com XJQuad Overview Add to Reading List Source URL: www.xjtag.com Language: English - Date: 2012-03-14 07:42:21 Electronic engineering Joint Test Action Group Test engineer Universal Serial Bus In-system programming Atmel AVR Boundary scan Electronics manufacturing Manufacturing Electronics
436	Preprint of an article published in Parallel Processing Letters, Vol. 24, Nopages) DOI: S0129626414410035 c World Scientific Publishing Company Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-10-03 08:19:59 Procedural programming languages Functional languages Computational science Scientific modeling Simulation software Stencil codes ALGOL 68 Type system Foreach loop Programming language theory Software engineering Computing
437	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
438	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: ftp.sunet.se Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
439	Auditing a Virtual Environment www.certificationeurope.com Tel + Fax + Security Auditing in a Virtual Add to Reading List Source URL: certificationeurope.co.uk Language: English - Date: 2012-11-14 08:34:55 Programming language implementation Hyper-V Information technology audit Hypervisor VM Operating system System software Software Virtual machines
440	SSO Plug-in v 3.2 Troubleshooting J System Solutions http://www.javasystemsolutions.com Version 3.2 Add to Reading List Source URL: www.javasystemsolutions.com Language: English - Date: 2011-05-30 04:30:53 Computer security Integrated Windows Authentication SPNEGO Internet Server Application Programming Interface Kerberos Active Directory Windows NTLM Password Microsoft Windows Computer network security Computing

UPDATE